type script = int;